Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
Refine By
Category
Books (9)
Sold By
All Sellers
Fishpond (9)
Brand
All Brands
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (5)
Cambridge University Press (2)
Springer (2)
Format
All Formats
Paperback (8)
Hardback (1)
Age Range
All Ranges
15+ (1)
All Ages (1)
Country
All Countries
Germany (7)
United Kingdom (2)
    Results for "Peter Dybjer"
    Peter Dybjer
    10 results
    Refine By
    Category
    Books (9)
    Sold By
    All Sellers
    Fishpond (9)
    Brand
    All Brands
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (5)
    Cambridge University Press (2)
    Springer (2)
    Format
    All Formats
    Paperback (8)
    Hardback (1)
    Age Range
    All Ranges
    15+ (1)
    All Ages (1)
    Country
    All Countries
    Germany (7)
    United Kingdom (2)
      10 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      £32.16 Elsewhere £41.99 Save £9.83 (23%)
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      £91.59 Elsewhere £125.00 Save £33.41 (27%)
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      £44.86
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      £45.69
      Category Theory and ­Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts
      Category Theory and ­Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts
      £40.58
      Types for Proofs and ­Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
      By Peter Dybjer, Bengt Nordstrom, Jan Smith
      Types for Proofs and ­Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
      By Peter Dybjer, Bengt Nordstrom, Jan Smith
      £45.18
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      £45.17
      Typed Lambda Calculi and ­Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Simona Ronchi Della Rocca
      Typed Lambda Calculi and ­Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Simona Ronchi Della Rocca
      £45.03
      Functional and Logic ­Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))
      By Jacques Garrigue, Manuel Hermenegildo
      Functional and Logic ­Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))
      By Jacques Garrigue, Manuel Hermenegildo
      £45.04
      Epistemology versus Ontology (Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Loef (Logic, Epistemology, and the Unity of Science))
      By Sten Lindstrom, Peter Dybjer, Erik Palmgren, B.G. Sundholm
      Epistemology versus Ontology (Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Loef (Logic, Epistemology, and the Unity of Science))
      By Sten Lindstrom, Peter Dybjer, Erik Palmgren, B.G. Sundholm
      Currently
      Unavailable
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.